proof satisfaction